1041. Mechanical theorem proving in geometries :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Automatic theorem proving.,Geometry -- Data processing.,Mathematics.

رده :
QA448
.
D38
B994
1994

1042. Metaheuristics for Hard Optimization

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Electronic data processing.,Engineering economy.,Engineering mathematics.,Mathematical optimization.,Operations research.,Structural control (Engineering)

1043. Microcomputers and mathematics

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Data processing ، Mathematics,، Microcomputers

رده :
QA
76
.
95
.
B78

1044. Modal Interval Analysi

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Mathematics,Electronic data processing,Global analysis (Mathematics),Electronic books

رده :
E-BOOK

1045. Modeling and dimensioning of structures

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Structural engineering - Data processing,Structural engineering - Mathematics,Structural analysis (Engineering),Structural frames - Mathematical models,Engineering drawings - Dimensioning

رده :
TA640
.
S77
2007

1046. Modelling for coastal hydraulics and engineering

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Coastal engineering- Mathematics,Coastal engineering- Data processing,Hydraulic engineering- Mathematics,Coasts- Computer simulation,Coast change - Mathematical models

رده :
TC205
.
M58
2010

1047. Modelling for coastal hydraulics and engineering

پدیدآورنده :

موضوع : Mathematics ، Coastal engineering,Data processing ، Coastal engineering,Mathematics ، Hydraulic engineering,Computer simulation ، Coasts,Mathematical models ، Coast changes

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

1048. Modelling for coastal hydraulics and engineering /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Coast changes-- Mathematical models.,Coastal engineering-- Data processing.,Coastal engineering-- Mathematics.,Coasts-- Computer simulation.,Hydraulic engineering-- Mathematics.

1049. Modern computer algebra

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Computer algorithms,Algebra, Data processing,Computer science, Mathematics

1050. Modern computer algebra

پدیدآورنده :

موضوع : ، Algebra-- Data processing,، Computer algorithms,، Computer science-- Mathematics

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

1051. Modern computer algebra

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Algebra- Data processing,Computer algorithms,Computer science- Mathematics

رده :
QA155
.
7
.
E4
,
Z87
1999

1052. Modern methods and algorithms of quantum chemistry :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Quantum chemistry-- Data processing, Congresses.,Quantum chemistry-- Mathematics, Congresses.

1053. Modern methods and algorithms of quantum chemistry :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Quantum chemistry-- Data processing, Congresses.,Quantum chemistry-- Mathematics, Congresses.

1054. Modern spectral estimation: theory and application

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Data processing ، Spectral theory )Mathematics(,Data processing ، Estimation theory

رده :
QA
280
.
K39
1988

1055. Modern spectral estimation : theory and application

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Spectral theory )Mathematics( -- Data processing , Estimation theory -- Data processing

رده :
QA
280
.
K39

1056. Modern spectral estimation : theory and application

پدیدآورنده :

موضوع : ، Spectral theory )Mathematics(-- Data processing,، Estimation theory-- Data processing

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

1057. Modern spectral estimation: theory and application

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Spectral theory )Mathematics(- Data processing,، Estimation theory- Data processing

رده :
QA
280
.
K39

1058. Multiobjective programming and planning

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Planning - Data processing , Programming )Mathematics( , Decision-making - Data processing

رده :
HD
30
.
28
.
C64
1978

1059. Multiobjective programming and planning

پدیدآورنده :

موضوع : Planning - Data processing,Programming (Mathematics)

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

1060. Multiple imputation in practice :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Missing observations (Statistics),Multivariate analysis-- Data processing.,Multivariate analysis.,MATHEMATICS / Applied,MATHEMATICS / Probability & Statistics / General,Missing observations (Statistics),Multivariate analysis-- Data processing.,Multivariate analysis.

رده :
QA276